Combining abductive reasoning and inductive learning to evolve requirements specifications
نویسندگان
چکیده
منابع مشابه
Interleaved Inductive-Abductive Reasoning for Learning Event-Based Activity Models
We propose an interleaved inductive-abductive model for reasoning about complex spatio-temporal narratives. Typed Inductive Logic Programming (Typed-ILP) is used as a basis for learning the domain theory by generalising from observation data, whereas abductive reasoning is used for noisy data correction by scenario and narrative completion thereby improving the inductive learning to get semanti...
متن کاملUsing Abduction to Evolve Inconsistent Requirements Specifications
Requirements specifications are often inconsistent. Inconsistencies may arise because multiple conflicting requirements are embodied in these specifications, or because the specifications themselves are in a transient stage of evolutionary development. In this paper we argue that such inconsistencies, rather than being undesirable, are actually useful drivers for changing the requirements speci...
متن کاملHow to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications
Classification of chemical entities is generally based on identifying the interesting parts and properties of the molecules. However, classes of chemical entities which are highly symmetrical and which contain large numbers of homogeneous parts (such as carbon atoms) are not straightforwardly classified in this fashion. One such class of molecules is the recently developed fullerene family, dis...
متن کاملHybrid abductive inductive learning
This thesis introduces a new Machine Learning technique called Hybrid Abductive Inductive Learning (HAIL) that integrates Abductive Logic Programming (ALP) and Inductive Logic Programming (ILP) in order to automate the learning of first-order theories from examples and prior knowledge. A semantics is proposed called Kernel Set Subsumption (KSS) that generalises the well-known inference method o...
متن کاملAppears in Machine Learning: A Multistrategy Appraoch, Vol. IV
This chapter describes a multistrategy system that employs independent modules for deductive, abductive, and inductive reasoning to revise an arbitrarily incorrect propositional Horn-clause domain theory to t a set of preclassi ed training instances. By combining such diverse methods, Either is able to handle a wider range of imperfect theories than other theory revision systems while guarantee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IEE Proceedings - Software
دوره 150 شماره
صفحات -
تاریخ انتشار 2003